E-CCC: between CCC and topos, — its expressive power from the viewpoint of data type theory
نویسندگان
چکیده
منابع مشابه
the investigation of the relationship between type a and type b personalities and quality of translation
چکیده ندارد.
CCC v4n3
Submitted: Apr 9, 2004; Revised: Jul 19, 2004; Accepted: Jul 19, 2004 Address for correspondence: Robert Diasio, MD, University of Alabama at Birmingham, Department of Pharmacology and Toxicology and UAB Comprehensive Cancer Center, 1824 6th Ave S, Wallace Tumor Institute, Room 620, University of Alabama at Birmingham, Birmingham, AL 35294-3300 Fax: 205-975-5650; e-mail: [email protected]...
متن کاملthis study investigated the relationship between quality of work life and organization citizenship behavior from the viewpoint of teachers in high schools in tehran city.
چکیده هدف از پژوهش حاضر بررسی رابطه کیفیت زندگی کاری و رفتار شهروندی سازمانی در مدارس مقطع متوسطه پسرانه شهر تهران از دیدگاه دبیران بود. روش پژوهش حاضر توصیفی و از نوع همبستگی بود. از بین دبیران مدارس شهر تهران تعداد 380 نفر به روش نمونه گیری خوشه ای چند مرحله ای به عنوان نمونه پژوهش انتخاب شدند و با تکمیل پرسشنامه ی کیفیت زندگی کاری والتون(1975) و پرسشنامه ی رفتار شهروندی سازمانی پودساکو...
15 صفحه اولCCC - The Casl Consistency Checker
We introduce the Casl Consistency Checker (CCC), a tool that supports consistency proofs in the algebraic specification language Casl. CCC is a faithful implementation of a previously described consistency calculus. Its system architecture combines flexibility with correctness ensured by encapsulation in a type system. CCC offers tactics, tactical combinators, forward and backward proof, and a ...
متن کاملFinding Correlated CCC-Biclusters from Gene Expression Data
Several non-supervised machine learning methods have been used in the analysis of gene expression data obtained from microarray experiments. Recently, biclustering, a non-supervised approach that performs simultaneous clustering on the row and column dimensions of the data matrix, has been shown to be remarkably effective in a variety of applications. The goal of biclustering is to find subgrou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1989
ISSN: 0747-7171
DOI: 10.1016/s0747-7171(89)80067-7